翻訳と辞書 Words near each other ・ Sullivan Arena ・ Sullivan Athletic Center ・ Sullivan Award ・ Sullivan Ballou ・ Sullivan baronets ・ Sullivan Bay Water Aerodrome ・ Sullivan Bay, Victoria ・ Sullivan Bluth Studios ・ Sullivan Branch ・ Sullivan brothers ・ Sullivan Buses ・ Sullivan Central High School ・ Sullivan Chime ・ Sullivan City, Texas ・ Sullivan College of Technology and Design ・ Sullivan conjecture ・ Sullivan Correctional Facility ・ Sullivan County ・ Sullivan County Airport ・ Sullivan County Courthouse ・ Sullivan County Courthouse (Pennsylvania) ・ Sullivan County International Airport ・ Sullivan County Municipal Airport (Indiana) ・ Sullivan County School District ・ Sullivan County Sheriff's Office (Tennessee) ・ Sullivan County, Indiana ・ Sullivan County, Missouri ・ Sullivan County, New Hampshire ・ Sullivan County, New York ・ Sullivan County, Pennsylvania Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Sullivan conjecture ： ウィキペディア英語版 Sullivan conjecture In mathematics, Sullivan conjecture can refer to any of several results and conjectures prompted by homotopy theory work of Dennis Sullivan. A basic theme and motivation concerns the fixed point set in group actions of a finite group $G$. The most elementary formulation, however, is in terms of the classifying space $BG$ of such a group. Roughly speaking, it is difficult to map such a space $BG$ continuously into a finite CW complex $X$ in a non-trivial manner. Such a version of the Sullivan conjecture was first proved by Haynes Miller.〔(Haynes Miller, The Sullivan Conjecture on Maps from Classifying Spaces, The Annals of Mathematics, second series, Vol. 120 No. 1, 1984, pp. 39-87 ). JSTOR: The Annals of Mathematics. Accessed May 9, 2012.〕 Specifically, in 1984, Miller proved that the function space, carrying the compact-open topology, of base point-preserving mappings from $BG$ to $X$ is weakly contractible. This is equivalent to the statement that the map $X$ → $F(BG,\; X)$ from X to the function space of maps $BG$ → $X$, not necessarily preserving the base point, given by sending a point $x$ of $X$ to the constant map whose image is $x$ is a weak equivalence. The mapping space $F(BG,\; X)$ is an example of a homotopy fixed point set. Specifically, $F(BG,\; X)$ is the homotopy fixed point set of the group $G$ acting by the trivial action on $X$. In general, for a group $G$ acting on a space $X$, the homotopy fixed points are the fixed points $F(EG,\; X)^G$ of the mapping space $F(EG,\; X)$ of maps from the universal cover $EG$ of $BG$ to $X$ under the $G$-action on $F(EG,\; X)$ given by $g$ in $G$ acts on a map $f$ in $F(EG,\; X)$ by sending it to $gfg^$. The $G$-equivariant map from $EG$ to a single point $$ * induces a natural map η: $X^G\; =\; F($ *,X)^G→$F(EG,\; X)^G$ from the fixed points to the homotopy fixed points of $G$ acting on $X$. Miller's theorem is that η is a weak equivalence for trivial $G$-actions on finite-dimensional CW complexes. An important ingredient and motivation (see ()) for his proof is a result of Gunnar Carlsson on the homology of $BZ/2$ as an unstable module over the Steenrod algebra. Miller's theorem generalizes to a version of Sullivan's conjecture in which the action on $X$ is allowed to be non-trivial. In, Sullivan conjectured that η is a weak equivalence after a certain p-completion procedure due to A. Bousfield and D. Kan for the group $G=Z/2$. This conjecture was incorrect as stated, but a correct version was given by Miller, and proven independently by Dwyer-Miller-Neisendorfer, Carlsson, and Jean Lannes, showing that the natural map $(X^G)\_p$ → $F(EG,\; (X)\_p)^G$ is a weak equivalence when the order of $G$ is a power of a prime p, and where $(X)\_p$ denotes the Bousfield-Kan p-completion of $X$. Miller's proof involves an unstable Adams spectral sequence, Carlsson's proof uses his affirmative solution of the Segal conjecture and also provides information about the homotopy fixed points $F(EG,X)^G$ before completion, and Lannes's proof involves his T-functor. ==References== 〔 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Sullivan conjecture」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.